<html>
<head><meta charset="utf-8"><title>cycle breaking in inference/typeck · t-compiler/help · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/index.html">t-compiler/help</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/cycle.20breaking.20in.20inference.2Ftypeck.html">cycle breaking in inference/typeck</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="242901098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/cycle%20breaking%20in%20inference/typeck/near/242901098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Yu [they/she] <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/cycle.20breaking.20in.20inference.2Ftypeck.html#242901098">(Jun 16 2021 at 15:55)</a>:</h4>
<p>while i was working on <a href="https://github.com/rust-lang/rust/pull/86371">https://github.com/rust-lang/rust/pull/86371</a> i discovered a few places where cycle breaking in type inference and checking seem to have relied on the position of the implicit <code>Sized</code> bounds in predicate lists. is this known? is it something that is worth trying to change? i'm also not certain of my understanding of type inference and checking, so any advice would be helpful</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>